Axioms

Property

Name

K₀

L₂

U₂

Normality Co-normality

K₁

L₃

U₃

Multiplication Addition

K₂

L₅

U₅

Monotone Monotone

K₃

L₇

U₇

Counteraction Extension

K₄

L₈

U₈

Symmetry Symmetry

K₅

L₉

U₉

Idempotent Idempotent

K₆

L₁₀

U₁₀

Super-Symmetry Super-Symmetry